Stoelinga, Marielle: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2016 Annual Reliability and Maintainability Symposium (RAMS) - Tucson, AZ, USA (2016.1.25-2016.1.28)] 2016 Annual Reliability and Maintainability Symposium (RAMS) - Fault maintenance trees: Reliability centered maintenance via statistical model checking

Ruijters, Enno, Guck, Dennis, Drolenga, Peter, Stoelinga, Marielle

Year:

2016

Language:

english

File:

PDF, 481 KB

english, 2016

2

[ACM Press the 4th ACM International Conference - Delft, Netherlands (2017.11.08-2017.11.09)] Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments - BuildSys '17 - Efficient probabilistic model checking of smart building maintenance using fault maintenance trees

Cauchi, Nathalie, Hoque, Khaza Anuarul, Abate, Alessandro, Stoelinga, Mariëlle

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

3

[IEEE 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Toulouse, France (2016.6.28-2016.7.1)] 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report

Ruijters, Enno, Guck, Dennis, Noort, Martijn van, Stoelinga, Marielle

Year:

2016

Language:

english

File:

PDF, 259 KB

english, 2016

4

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 7437 || Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

Stoelinga, Mariëlle, Pinger, Ralf

Year:

2012

Language:

english

File:

PDF, 268 KB

english, 2012

5

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters, Enno, Stoelinga, Mariëlle

Journal:

Computer Science Review

Year:

2015

Language:

english

File:

PDF, 935 KB

english, 2015

6

[IEEE 2019 19th International Conference on Application of Concurrency to System Design (ACSD) - Aachen, Germany (2019.6.23-2019.6.28)] 2019 19th International Conference on Application of Concurrency to System Design (ACSD) - Parametric Analyses of Attack-Fault Trees

Andre, Etienne, Lime, Didier, Ramparison, Mathias, Stoelinga, Marielle

Year:

2019

Language:

english

File:

PDF, 1.87 MB

english, 2019

7

[IEEE 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Toulouse, France (2016.6.28-2016.7.1)] 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Uncovering Dynamic Fault Trees

Junges, Sebastian, Guck, Dennis, Katoen, Joost-Pieter, Stoelinga, Marielle

Year:

2016

Language:

english

File:

PDF, 248 KB

english, 2016

8

[IEEE 2013 9th International Conference on Information Assurance and Security (IAS) - Gammarth (2013.12.4-2013.12.6)] 2013 9th International Conference on Information Assurance and Security (IAS) - Quantitative penetration testing with item response theory

Arnold, Florian, Pieters, Wolter, Stoelinga, Marielle

Year:

2013

Language:

english

File:

PDF, 552 KB

english, 2013

9

Maintenance of Smart Buildings using Fault Trees

Cauchi, Nathalie, Hoque, Khaza Anuarul, Stoelinga, Marielle, Abate, Alessandro

Journal:

ACM Transactions on Sensor Networks

Year:

2018

Language:

english

File:

PDF, 2.07 MB

english, 2018

10

[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Quantitative Security and Safety Analysis with Attack-Fault Trees

Kumar, Rajesh, Stoelinga, Marielle

Year:

2017

Language:

english

File:

PDF, 491 KB

english, 2017

11

[IEEE 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Shanghai, China (2009.07.8-2009.07.10)] 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement - Architectural Availability Analysis of Software Decomposition for Local Recovery

Boudali, Hichem, Sözer, Hasan, Stoelinga, Mariëlle

Year:

2009

Language:

english

File:

PDF, 724 KB

english, 2009

12

Model checking discounted temporal properties

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

13

[ACM Press the 7th International Workshop - Seattle, WA, USA (2016.11.18-2016.11.18)] Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016 - Model-based testing of stochastic systems with IOCO theory

Gerhold, Marcus, Stoelinga, Mariëlle

Year:

2016

Language:

english

File:

PDF, 381 KB

english, 2016

14

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, Mariëlle, Timmer, Mark

Year:

2009

Language:

english

File:

PDF, 222 KB

english, 2009

15

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Game Relations and Metrics

Alfaro, Luca de, Majumdar, Rupak, Raman, Vishwanath, Stoelinga, Marielle

Year:

2007

Language:

english

File:

PDF, 211 KB

english, 2007

16

Special issue on Software Verification and Testing (SAC-SVT'15)

Salaün, Gwen, Stoelinga, Mariëlle

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 131 KB

english, 2016

17

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k

David P.L. Simons, Mariëlle I.A. Stoelinga

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2001

Language:

english

File:

PDF, 331 KB

english, 2001

18

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 7437 || Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Stoelinga, Mariëlle, Pinger, Ralf

Year:

2012

Language:

english

File:

PDF, 780 KB

english, 2012

19

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework

Boudali, Hichem, Crouzen, Pepijn, Haverkort, Boudewijn R., Kuntz, Matthias, Stoelinga, Mariëlle

Year:

2008

Language:

english

File:

PDF, 226 KB

english, 2008

20

A testing scenario for probabilistic processes

Cheung, Ling, Stoelinga, Mariëlle, Vaandrager, Frits

Journal:

Journal of the ACM

Year:

2007

Language:

english

File:

PDF, 370 KB

english, 2007

21

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Ahmad, Waheed, Groote, Robert de, Holzenspies, Philip K.F., Stoelinga, Marielle, Pol, Jaco van de

Year:

2014

Language:

english

File:

PDF, 540 KB

english, 2014

22

A linear process-algebraic format with data for probabilistic automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 393 KB

english, 2012

23

[Lecture Notes in Computer Science] Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems Volume 8453 ||

Remke, Anne, Stoelinga, Mariëlle

Year:

2014

Language:

english

File:

PDF, 6.70 MB

english, 2014

24

Selected and extended papers from ACM SVT 2014

Pang, Jun, Stoelinga, Mariëlle

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 116 KB

english, 2016

25

Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol

Mariëlle Stoelinga

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 113 KB

english, 2003

26

Model Checking Quantitative Linear Time Logic

Marco Faella, Axel Legay, Mariëlle Stoelinga

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 356 KB

english, 2008

27

Availability analysis of software architecture decomposition alternatives for local recovery

Sözer, Hasan, Stoelinga, Mariëlle, Boudali, Hichem, Akşit, Mehmet

Journal:

Software Quality Journal

Year:

2017

Language:

english

File:

PDF, 2.15 MB

english, 2017

28

Model-based testing of probabilistic systems

Gerhold, Marcus, Stoelinga, Mariëlle

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

29

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 11750 (17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings) ||

André, Étienne, Stoelinga, Mariëlle

Year:

2019

File:

PDF, 13.50 MB

2019

30

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 8054 || Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g

Joshi, Kaustubh, Siegle, Markus, Stoelinga, Mariëlle, D’Argenio, Pedro R.

Year:

2013

Language:

english

File:

PDF, 729 KB

english, 2013

31

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

Boudali, Hichem, Crouzen, Pepijn, Stoelinga, Marielle

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

32

Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems

Luca de Alfaro, Mariëlle Stoelinga

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 309 KB

english, 2004

33

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata

Ahmad, Waheed, Jongerden, Marijn, Stoelinga, Marielle, Pol, Jaco van de

Year:

2016

Language:

english

File:

PDF, 764 KB

english, 2016

34

[IEEE 2015 Euromicro Conference on Digital System Design (DSD) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 Euromicro Conference on Digital System Design - Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications

Ahmad, Waheed, Holzenspies, Philip K.F., Stoelinga, Marielle, Pol, Jaco van de

Year:

2015

Language:

english

File:

PDF, 182 KB

english, 2015

35

[IEEE 2017 Annual Reliability and Maintainability Symposium (RAMS) - Orlando, FL, USA (2017.1.23-2017.1.26)] 2017 Annual Reliability and Maintainability Symposium (RAMS) - Uniform analysis of fault trees through model transformations

Ruijters, Enno, Schivo, Stefano, Stoelinga, Marielle, Rensink, Arend

Year:

2017

Language:

english

File:

PDF, 434 KB

english, 2017

36

Model-based testing of stochastically timed systems

Gerhold, Marcus, Hartmanns, Arnd, Stoelinga, Mariëlle

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 1.13 MB

english, 2019

37

[ACM Press the 8th international workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09 - Compositional dependability modeling using arcade

Stoelinga, Mariëlle

Year:

2009

Language:

english

File:

PDF, 343 KB

english, 2009

38

Linear parametric model checking of timed automata

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits Vaandrager

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 405 KB

english, 2002

39

Fault trees on a diet: automated reduction by graph rewriting

Junges, Sebastian, Guck, Dennis, Katoen, Joost-Pieter, Rensink, Arend, Stoelinga, Mariëlle

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 2.48 MB

english, 2017

40

Confluence reduction for Markov automata

Timmer, Mark, Katoen, Joost-Pieter, van de Pol, Jaco, Stoelinga, Mariëlle

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

41

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - LOCKS

Kumar, Rajesh, Rensink, Arend, Stoelinga, Mariëlle

Year:

2018

Language:

english

File:

PDF, 1.09 MB

english, 2018

42

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 7437 ||

Stoelinga, Mariëlle, Pinger, Ralf

Year:

2012

Language:

english

File:

PDF, 6.03 MB

english, 2012

43

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - A Linear Process-Algebraic Format for Probabilistic Systems with Data

Katoen, Joost-Pieter, Pol, Jaco van_de_, Stoelinga, Mariëlle, Timmer, Mark

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

44

[IEEE 2018 Annual Reliability and Maintainability Symposium (RAMS) - Reno, NV, USA (2018.1.22-2018.1.25)] 2018 Annual Reliability and Maintainability Symposium (RAMS) - DFT Analysis Incorporating Spare Parts in Fault Trees

Heijblom, Richard, Postma, Wietske, Natarajan, Venkat, Stoelinga, Marielle

Year:

2018

Language:

english

File:

PDF, 2.89 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски